real analysis proofs